Probabilistic Monitoring from Mixed Software and Hardware Specifications
نویسندگان
چکیده
We introduce a capability for online monitoring and diagnosis of stochastic systems with complex behavior. Our work complements offline verification techniques for embedded systems. In most complex systems today, hardware is augmented with software functions that influence the system’s behavior. In this paper hardware models are extended to include the behavior of associated embedded software, resulting in more comprehensive estimates of a system’s state trajectories. Capturing the behavior of software is much more complex than that of hardware due to the potentially enormous state space of a program. This complexity is addressed by using probabilistic, hierarchical, constraint-based automata (PHCA) that allow the uniform and compact encoding of both hardware and software behavior. We introduce a novel approach that frames PHCA-based diagnosis as a soft constraint optimization problem over a finite time horizon. The problem is solved using efficient, decomposition-based optimization techniques. The solutions correspond to the most likely evolutions of the software-extended system.
منابع مشابه
Generating Mixed Hardware/Software Systems from SDL Specifications
A new approach for the translation of SDL specifications to a mixed hardware/software system is presented. Based on the computational model of communicating extended finite state machines (EFSM) the control flow is separated from data flow of the SDL process. Hence for the first time it is possible to generate a mixed hardware/software implementation of an SDL process. This technique also reduc...
متن کاملRuntime Verification of Stochastic, Faulty Systems
We desire a capability for the lifelong verification of complex embedded systems that degrade over time, such as a semi-autonomous car. The field of runtime verification has developed many tools for monitoring the safety of software systems in real time. However, these tools do not allow for uncertainty in the system’s state or failure, both of which are essential for monitoring hardware as it ...
متن کاملPreparing Relational Algebra for "Just Good Enough" Hardware
Device miniaturization is pointing towards tolerating imperfect hardware provided it is “good enough”. Software design theories will have to face the impact of such a trend sooner or later. A school of thought in software design is relational : it expresses specifications as relations and derives programs from specifications using relational algebra. This paper proposes that linear algebra be a...
متن کاملA Multi-Formalism Approach For System Specification
This paper deals with embedded systems modelling, mixed hardware/software codesign, and more generally structured codesign methodology for avionics systems. This methodology is based on two main concepts: multi-formalism specifications and a unified system model. The multi-formalism concept allows to combine partial specifications expressed in various formalisms. As a matter of fact, an embedde...
متن کاملDevelopment of hardware system using temperature and vibration maintenance models integration concepts for conventional machines monitoring: a case study
This article describes the integration of temperature and vibration models for maintenance monitoring of conventional machinery parts in which their optimal and best functionalities are affected by abnormal changes in temperature and vibration values thereby resulting in machine failures, machines breakdown, poor quality of products, inability to meeting customers’ demand, poor inventory contro...
متن کامل